大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Positive Systems [electronic resource] : Proceedings of the third Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2009) Valencia, Spain, September 2-4, 2009

0
索取号：
作者：Bru、 Rafael.、Romero-Viv贸、 Sergio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings

0
索取号：
作者：Giese、 Martin.、Waaler、 Arild.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Domain Decomposition Methods in Science and Engineering XVIII [electronic resource]

0
索取号：
作者：Bercovier、 Michel.、Gander、 Martin J.、Kornhuber、 Ralf.、Widlund、 Olof.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings

0
索取号：
作者：Carette、 Jacques.、Dixon、 Lucas.、Coen、 Claudio Sacerdoti.、Watt、 Stephen M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Single Molecule Spectroscopy in Chemistry, Physics and Biology [electronic resource] : Nobel Symposium

0
索取号：
作者：Gr盲slund、 Astrid.、Rigler、 Rudolf.、Widengren、 Jerker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Human-Computer Interaction. Novel Interaction Methods and Techniques [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human Interface and the Management of Information. Information and Interaction [electronic resource] : Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

0
索取号：
作者：Salvendy、 Gavriel.、Smith、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human Interface and the Management of Information. Designing Information Environments [electronic resource] : Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I

0
索取号：
作者：Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Experimental Methods for the Analysis of Optimization Algorithms [electronic resource]

0
索取号：
作者：Bartz-Beielstein、 Thomas.、Chiarandini、 Marco.、Paquete、 Lu铆s.、Preuss、 Mike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music [electronic resource] : 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

0
索取号：
作者：Ystad、 S酶lvi.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers

0
索取号：
作者：Masulli、 Francesco.、Tagliaferri、 Roberto.、Verkhivker、 Gennady M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Combinatorial Pattern Matching [electronic resource] : 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings

0
索取号：
作者：Kucherov、 Gregory.、Ukkonen、 Esko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

0
索取号：
作者：Lewis、 Grace A.、Poernomo、 Iman.、Hofmeister、 Christine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy [electronic resource] : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I

0
索取号：
作者：Mira、 Jos茅.、Ferr谩ndez、 Jos茅 Manuel.、脕lvarez、 Jos茅 R.、Paz、 F茅lix.、Toledo、 F. Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Scale Space and Variational Methods in Computer Vision [electronic resource] : Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings

0
索取号：
作者：Tai、 Xue-Cheng.、M酶rken、 Knut.、Lysaker、 Marius.、Lie、 Knut-Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Methods and Supporting Technologies for Data Analysis [electronic resource]

0
索取号：
作者：Zakrzewska、 Danuta.、Menasalvas、 Ernestina.、Byczkowska-Lipinska、 Liliana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.